Projectivity and unification in the varieties of locally finite monadic MV-algebras
نویسندگان
چکیده
A description of finitely generated free monadic MV -algebras and a characterization of projective monadic MV -algebras in locally finite varieties is given. It is shown that unification type of locally finite varieties is unitary.
منابع مشابه
Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
We are concerned with the subvariety of commutative, bounded, and integral residuated lattices, satisfying divisibility and prelinearity, namely, BL-algebras. We give an explicit combinatorial description of the category that is dual to finite BL-algebras. Building on this, we obtain detailed structural information on the locally finite subvarieties of BL-algebras that are analogous to Grigolia...
متن کاملUnitary Unification of S 5 Modal Logic and Its Extensions
It is shown that all extensions of S5 modal logic, both in the standard formalization and in the formalization with strict implication, as well as all varieties of monadic algebras have unitary unification.
متن کاملA discrete representation of free MV-algebras
The variety of MV-algebras is the equivalent algebraic semantics of the infinitely-valued Lukasiewicz logic [1], and MVn-algebras are algebraic models of the Lukasiewicz logic with n truth values (2 ≤ n < ω). Recall that an algebra A ∈ V is said to be a free algebra in a variety V, if there exists a set A0 ⊂ A such that A0 generates A and every mapping f from A0 to any algebra B ∈ V can be exte...
متن کاملOn residuated lattices with universal quantifiers
We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...
متن کاملSome Properties of Quasi - Mv Algebras
A b s t r a c t. We investigate some properties of two varieties of algebras arising from quantum computation quasi-MV algebras and √ ′ quasi-MV algebras first introduced in [13], [12] and tightly connected with fuzzy logic. We establish the finite model property and the congruence extension property for both varieties; we characterize the quasi-MV reducts and subreducts of √ ′ quasiMV algebras...
متن کامل